x . x+1) 4The opposite of beta abstraction is beta reduction. These are the two kinds of beta conversion.beta conversion.……">

翻訳と辞書 Words near each other ・ bertrand ・ bertrand meyer ・ bertrand russell ・ berzerkeley ・ berzerkley ・ bespoke ・ best effort ・ best first search ・ best fit ・ beta ・ beta abstraction ・ beta conversion ・ beta reduction ・ beta testing ・ beta version ・ betamaxed ・ bezier ・ bezier curve ・ bezier surface ・ bf Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク beta abstraction ： FOLDOC beta abstraction [lambda-calculus] The conversion of an expression to an application of a lambda abstraction to an argument expression. Some subterm of the original expression becomes the argument of the abstraction and the rest becomes its body. E.g. 4+1 --> ( x . x+1) 4 The opposite of beta abstraction is beta reduction. These are the two kinds of beta conversion. beta conversion. スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.